win32 theme: Replace metric ids with metric names
authorBenjamin Otte <otte@redhat.com>
Sun, 21 Feb 2016 23:50:01 +0000 (00:50 +0100)
committerBenjamin Otte <otte@redhat.com>
Mon, 22 Feb 2016 03:37:57 +0000 (04:37 +0100)
commitcdb12fec9e4c5af7dbd4452ea686e41eece20f7e
tree62e14d503288e2677624ebae4c8fb6d951f6fc75
parentdc1e191df541047c46854e4b8f0f7a495a0ba2c6
win32 theme: Replace metric ids with metric names

Makes it more obvious what's actually happening.
gtk/theme/win32/gtk-win32-base.css